The same definition can be used for general homogeneous ideals, but the resulting coordinate rings may then contain non-zero nilpotent elements and other divisors of zero.
2.
The sedenions are an algebra in which every nonzero element has a multiplicative inverse, but which nonetheless has divisors of zero, i . e . nonzero elements " x ", " y " such that " xy " = 0.